Formal Systems Specification: The RPC-Memory Specification Case Study: 1169 (Lecture Notes in Computer Science)
by Manfred Broy,Stephan Merz,Katharina Spies
ISBN 13: 9783540619840
Format: Paperback (572 pages) Publisher: Springer Published: 13 Jun 2008
Save for later